. К оглавлению . Показать весь текст .

Возникает вопрос - почему логики в первой половине 20 века не воспользовались методикой перенесения исполнения программ машиной Тьюринга в некоторую функцию арифметики, подобно тому, что описана в начале данной статьи? Пусть у них не было теории строк, пусть для арифметики выполнен примат целостности ( Read more... )

. К оглавлению . Показать весь текст .

Рассмотрим «стандартную интерпретацию» арифметики, которая соответствует всем аксиомам арифметики, и при этом имеет предельно слабые среди всевозможных интерпретаций арифметики выразительные возможности. Тогда мы получим наглядно ту выразительность, выше которой арифметика в принципе не может подняться. Потому ( Read more... )

. К оглавлению . Показать весь текст .

Чтобы почувствовать разницу между теорией компьютерных строк и арифметикой, рассмотрим вопрос - почему в арифметике операция сложения аксиоматизируется, а не определяется? Ведь с использованием техники «протокола исполнения» вполне можно (вроде бы) дать для суммы a + i_Step следующее определение:

∃ Tracing (

( Read more... )

. К оглавлению . Показать весь текст .

Данная статья опирается на теорию компьютерных строк, аксиомы которой были изложены и обсуждались в предыдущей статье «Теория компьютерных строк».

Сейчас в математической теории (пока что для этих целей используется арифметика) алгоритмы в теории «представлены» для модели рекурсивных (aka общерекурсивных) ( Read more... )

. К оглавлению . Показать весь текст .

Оглавление и введение

I. Как в теории выразить работу алгоритмов с бесконечными или слишком большими входными аргументами

II. Трудности в арифметике с тем, чтобы выразить работу алгоритмов

III. Стандартная интерпретация арифметики и «не замеченная» логика строк

IV. Рекурсивные функции - удачный для своего ( Read more... )

Наконец доделал «камень преткновения» - архитектуру вычислительной машины у которой разрядность не ограничивает размер доступной ей оперативной памяти. И выложил на ЕДРИД:


Машина исполнения компьютерных алгоритмов - архитектура математической модели с центральным процессором и неограниченными лучами данных

Построена математическая модель ( Read more... )

Дописал я математическую модель («архитектуру») для компьютера, представляющего собой центральный процессор и бесконечные лучи данных. Я рассказывал чуть раньше (7 февраля 2021), что доделываю эту модель:

« Не только математическая модель с бесконечной памятью для вычислительной машины»

На базе этой модели можно сделать настоящий комп, в котором ( Read more... )

Я пишу архитектуру для Вычислительной машины с центральным процессором и лучами данных, которая может использовать неограниченную память. Размеры используемой памяти нынешними компьютерами ограничены разрядностью процессора и пропускной способностью каналов связи к ячейкам памяти. Впрочем, пропускная способность на практике всегда достаточна для ( Read more... )

Я не знал, что наши переводчики придумали совершенной свой текст для этого отрывка из Аэроплана-2 (имена команды видны в субтитрах):

Click to view

Капитан Over (Over - над), штурман Unger (Under - под), помощник Dunn (Dunno - не знаю)

У нас:

- Господа, познакомьтесь, это ваш капитан - Капитан Прием. - Господа, добро пожаловать на борт нашего лайнера. - Это ваш ( Read more... )

Я тут выпал из ЖЖ - уже упоминал (в оффтопе записи « Сказки для идиотов - как «лоцман» СССР и его осколков, ведущий к краху»), что занялся (по совету разбирающихся в этом математиков) разбиением своей статьи ( http://psta.psiras.ru/read/CompuStrTheory_08.06.2020.pdf ) на несколько.

В итоге дошёл до того, что понятие время не формализовано. А что ( Read more... )